-- 参数列表
-- 1.优惠券 id
local voucherId = ARGV[1]
-- 2.用户 id
local userId = ARGV[2]
-- 3.订单 id
local orderId = ARGV[3]

-- 数据 key
-- 1.库存 key
local stockKey = 'seckill:stock:' .. voucherId
-- 2.订单 key
local orderKey = 'seckill:order:' .. voucherId

-- 脚本业务
-- 1.判断库存是否充足
if (tonumber(redis.call('get', stockKey)) <= 0) then
    -- 库存不足返回 1
    return 1
end
-- 2.判断用户是否下单
if (redis.call('sismember', orderKey, userId) == 1) then
    -- 用户已下单，返回 2
    return 2
end
-- 3.扣减库存
redis.call('incrby', stockKey, -1)
-- 保存用户到 set 集合
redis.call('sadd', orderKey, userId)
-- 发送订单信息到 Stream 消息队列 XADD key * k1,v1,k2,v2
redis.call("xadd", "stream.orders", "*", "voucherId", voucherId, "userId", userId, "id", orderId)

return 0